A directed colimit is a colimit of a functor whose source category is an (upward)-directed set.
More generally, for a regular cardinal say that a -directed set is a poset in which every subset of cardinality has an upper bound. Then a colimit over a functor is called -directed colimit.
If the directed set is an ordinal, one speaks of a sequential colimit.
The dual notion is that of codirected limit, a limit of a functor whose source is a downward-directed set.
Note that the terminology varies. Especially in algebra, a directed colimit may be called an ‘inductive limit’ or ‘direct limit’; it's also possible to distinguish these so that a direct limit may have an arbitrary (possibly undirected) poset as its source. On the other hand, both terms are often used for arbitrary colimits as an alternative terminology. (The corresponding dual terms are ‘projective limit’ and ‘inverse limit’ for limits.)
Directed (co)limits were studied in algebra (as inductive and projective limits) before the general notion of limit in category theory. The elementary definition still seen there follows.
Let be a category.
An inductive system in consists of a directed set , a family of objects of , and a family of morphisms, such that: * is the identity morphism on ; * is the composite .
Then an inductive cone of this inductive system is an object and a family of inductions such that
Finally, an inductive limit of the inductive system is an inductive cone (where both and are suppressed in the notation, each in its own way) which is universal in that, given any inductive cone , there exists a unique morphism such that
(where the left-hand is from the cone and the right-hand is from the limit).
Notice that an inductive system in consists precisely of a directed set and a (covariant) functor from (thought of as a category) to , while an inductive cone or limit of such an inductive system is precisely a cocone or colimit of the corresponding functor. So this is a special case of colimit.
As with other colimits, an inductive limit, if any exists at all, is unique up to a given isomorphism, so we speak of the inductive limit of a given inductive system.
According to 1.5 and 1.21 in the book by Jiří Adámek & Jiří Rosický, a category has -directed colimits iff it has -filtered ones, and a functor preserves -directed colimits iff it preserves -filtered ones.
The fact that directed colimits suffice to obtain all filtered ones may be regarded as a convenience similar to the fact that all colimits can be constructed from coproducts and coequalizers.
An inductive limit in algebra is usually defined as a quotient of a disjoint union. To be precise, is the disjoint union with identified with if
for some . Here it is important that is a concrete category and that is a directed set (rather than merely a poset); this construction doesn't generalise very well.
The objects of an accessible category and of a presentable category are -directed limits over a given set of generators.
A Pruefer group (for a prime number) is an inductive limit of the cyclic groups (for a natural number). Here, is the category of groups, is the directed set of natural numbers, , and is induced by multiplication by (which must be proved well defined on for ).
A stalk (for a sheaf on a topological space and an element of ) is an inductive limit of (for an open neighbourhood of ).
Last revised on April 1, 2020 at 11:43:57. See the history of this page for a list of all contributions to it.